Skip to content
This repository has been archived by the owner on Jul 3, 2024. It is now read-only.

Minor fix #68

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Minor fix #68

wants to merge 1 commit into from

Conversation

kant
Copy link

@kant kant commented Jan 25, 2018

(proposals)

(proposals)
Copy link
Collaborator

@mandel mandel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you for your feedback but we don't like some of your fixes.

@@ -17,21 +17,22 @@ the directory [docs](./docs).

## Quick install with Opam

You can install wcs-ocaml with the following command:
You can install `wcs-ocaml` with the following command:
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We don't like this formating. We prefere to keep wcs-ocaml.

@@ -88,7 +89,7 @@ grep -r -e '\d\d\d\d-\d\d-\d\d.\d\d-dev' .

3. Update the `CHANGES.md` file.

4. Create a new release on the github interface:
4. Create a new release on the Github interface:
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It should be GitHub.

@@ -125,7 +126,7 @@ cp packages/wcs-lib/wcs-lib.XXXX-XX-XX.XX/url packages/wcs/wcs.XXXX-XX-XX.XX/url
```
git push origin wcs-XXXX-XX-XX.XX
```
- Create a pull request from the github interface:
- Create a pull request from the Github interface:
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

idem.

@mandel mandel mentioned this pull request Jan 26, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants